package com.tressatisfiability.client;

import com.google.gwt.user.client.rpc.RemoteService;
import com.google.gwt.user.client.rpc.RemoteServiceRelativePath;
import com.tressatisfiability.shared.Formula;

/**
 * The client side stub for the RPC service.
 */
@RemoteServiceRelativePath("s")
public interface Service extends RemoteService {

	public Formula solve3Sat(String q);

	public Formula retry();

}
